A Review of
نویسندگان
چکیده
We review EVES, a tool for supporting formal mathematical reasoning in general and for the development of formally veriied software in particular. The review concentrates on the following three aspects of EVES: its mathematicalfoundation, its software development method and its automated support. We discuss the strengths and weaknesses of EVES, as well as some issues related to interactive theorem proving and formal method support.
منابع مشابه
Review of Reviews/ A Review on Criticism: A Response to “The Review of the Book A Look at Carpet Weaving in Chaharmahal & Bakhtiari Province" by Frank Kabiri
متن کامل
Methodology of conceptual review in the health system
Background: Conceptual review is a creative research method for generating new knowledge in the context of a vague and complex concept that helps to explain and clarify the concept, its components and its relation to related concepts. This study aimed to explain the methodology of conceptual review in the health system. Methods: Articles related to the conceptual research method were searched ...
متن کاملA Review of the Control Techniques for Brushless Direct Current Motors (REVIEW PAPER)
This paper surveys the literature of the brushless DC motor speed control techniques. The paper should prove useful to both researchers as well as practising engineers as a signpost to the current state of the art. Based on the review some further studies are suggested.
متن کاملمرور سیستماتیک “Systematic Review” چیست وچگونه نگاشته میشود؟
Abstract Background: Successful clinical decisions are the outcome of a complex process. In making them, we draw on information from scientific evidences, our personal experience and external rules and constraints. Considering that the explosive increase in the amount and quality of the scientific evidence that has come from both the laboratory bench and the bedside, we may lack the time, mo...
متن کاملThe Viewpoints of Alborz University of Medical Sciences’ Faculty Members on Open Peer Review of Journal Articles
Background and Aim: The open peer review process, which is one of the peer-reviewed methods in journals, has been accepted in scientific forums. The aim of this study was to investigate the points of view of university faculty members about the open peer review process of journal articles. Materials and Methods: The study used a descriptive survey. The sample size was calculated using the Coch...
متن کاملMethodology of Realist Review in the Health System
Background and Aim: The realist review has been introduced to review and synthesize the evidence related to the implementation of complex healthcare interventions. This method interprets the results of an intervention by explaining the causal relationships between the intervention and the results. This study aimed to explain the methodology of realist review in the health system. Materials and...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1993